Deontic Logic in Computer Science Leon van der Torre & Jörg Hansen ESSLIAugust 2008

Source URL: icr.uni.lu

MELISSA BICA University of Colorado Boulder, Ph.D. Candidate in Computer Science | www.melissabica.com E DUCATION Ph.D., Computer Science, University of Colorado Boulder Advisor: Leysia Palen

Source URL: www.melissabica.com

Optimal Auctions with Correlated Bidders are Easy Shahar Dobzinski Department of Computer Science Cornell Unversity

Source URL: www.fuhuthu.com

Reconstructive Dispersers and Hitting Set Generators∗ Christopher Umans† Department of Computer Science California Institute of Technology Pasadena, CANovember 28, 2006

Source URL: users.cms.caltech.edu

Sharif University of Technology Computer Engineering Bachelor of Science Thesis Implementation of a Color-based Fast Object-tracking System from Video Frames in a Robotic Environment By: Pooya Karimian, Payam Sabzmeydani

Source URL: pooyak.com

Characteristics of Useful Code Reviews: An Empirical Study at Microsoft Amiangshu Bosu∗ , Michaela Greiler† , and Christian Bird† ∗ Department of Computer Science University of Alabama, Tuscaloosa, Alabama Email:

Source URL: www.amiangshu.com

A Hundred Impossibility Proofs for Distributed Computing Nancy A. Lynch * Lab for Computer Science MIT, Cambridge, MAlynchQtds.Ics.mit.edu

Source URL: groups.csail.mit.edu

• Concurrent computing
• Mathematical logic
• Fault-tolerant computer systems
• Concurrency control
• Edsger W. Dijkstra
• Computing
• Computer architecture
• Consensus
• Distributed computing
• Proof of impossibility
• Algorithm
• Mutual exclusion

Symposium on Theoretical Aspects of Computer ScienceBordeaux), ppwww.stacs-conf.org LOWER BOUNDS FOR ADAPTIVE LINEARITY TESTS SHACHAR LOVETT Faculty of Mathematics and Computer Science

Source URL: drops.dagstuhl.de

Vis, The Next Generation: Teaching Across the ResearcherPractitioner Gap Tamara Munzner Department of Computer Science University of British Columbia VIS 2015 Panel

Source URL: www.cs.ubc.ca

Reconstructing Generalized Staircase Polygons with Uniform Step Length Nodari Sitchinava and Darren Strash GD 2017 | Sept. 25, 2017 Department of Computer Science Colgate University

Source URL: gd2017.ccis.northeastern.edu